181. HOPL III
پدیدآورنده: sponsored by ACM SIGPLAN ; in-cooperation with ACM SIGSOFT.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- History, Congresses.
182. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
183. How to make computers easier to use : digest of papers
پدیدآورنده: Compcon, )11th, 5791, Washington, D.C.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer engineering-- Congresses
رده :
QA
76
.
6
.
C6276
1975
184. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
BF
311
.
I5664
1996
185. International Computing Symposium, 1977 : proceedings of the International Computing Symposium, 1977, Li،ge, Belgium, 4-7 April 1977
پدیدآورنده: International Computing Symposium, 5th, 7791, Li،ge, Belgium
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing - Congresses,، Computers - Congresses,، Programming )Electronic computers( - Congresses
رده :
QA
75
.
5
.
I57
1977
186. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
پدیدآورنده: International Symposium on Programming, 4th, 0891, Paris
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1980
187. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
پدیدآورنده: edited by B. Robinet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
83
188. International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982
پدیدآورنده: International Symposium on Programming, )5th, 2891, Turin, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1982
189. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings
پدیدآورنده: International Symposium on Programming, )6th, 4891, Toulouse, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1984
190. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings
پدیدآورنده: edited by M. Paul and B. Robinet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
167
191. International Symposium on Theoretical Programming )Proceedings held on August 7-11, 1972(
پدیدآورنده: Edited by Andrei Ershov and Valery A. Nepomniaschy
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I5793
192. International Symposium on Theoretical Programming )Proceedings held on August 7-11, 1972(
پدیدآورنده: International Symposium on Theoretical Programming, 2791, Novosibirsk
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I5798
1972
193. Knowledge-Based software engineering
پدیدآورنده: Proceedings of the Joint conference on Knowledge-Based software engineering in smolenice)3rd,Slovania,8991(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers-programming-Congresses,، Software engineering-Congresses,، Programming-Congresses)Electronic computers(-Congresses
رده :
QA
76
.
6
.
P76
1998
194. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
195. Language design and programming methodology : proceedings of a Symposium held in Sydney, Australia, 10-11 September, 1979
پدیدآورنده: edited by Jeffrey M. Tobias
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
79
196. Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
پدیدآورنده: edited by Jeffrey M. Tobias
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
79
197. Language hierarchies and interfaces : International Summer School
پدیدآورنده: F.L. Bauer...]et al.[; edited by F.L. Bauer, K. Samelson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
46
198. Language hierarchies and interfaces : international summer school
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
L335
199. Language hierarchies and interfaces : international summer school
پدیدآورنده: F. L. Bauer ... )et al.( ; edited by F. L. Bauer and K. Samelson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
46
200. Language, logic, and computation :
پدیدآورنده: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
9
.
L63
